class ExtensionNoHighlighting : MyExtension